Skip to content

Apply fixes for scripts - #3

Merged
rcannood merged 7 commits into
mainfrom
apply_fixes
Aug 7, 2025
Merged

Apply fixes for scripts#3
rcannood merged 7 commits into
mainfrom
apply_fixes

Conversation

@rcannood

Copy link
Copy Markdown
Member

Describe your changes

Issue ticket number and link

Closes #xxxx (Replace xxxx with the GitHub issue number)

Checklist before requesting a review

  • I have performed a self-review of my code

  • Check the correct box. Does this PR contain:

    • Breaking changes
    • New functionality
    • Major changes
    • Minor changes
    • Bug fixes
    • Documentation
  • Proposed changes are described in the CHANGELOG.md

  • CI Tests succeed and look good!

@rcannood rcannood mentioned this pull request Jul 29, 2025
Comment thread scripts/create_resources/openproblems_op3.sh Outdated
@rcannood
rcannood merged commit fbc3fe6 into main Aug 7, 2025
19 of 20 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants